A New Characterization of Lambda Definability
نویسندگان
چکیده
We give a new characterization of lambda deenability in Henkin models using logical relations deened over ordered sets with varying arity. The advantage of this over earlier approaches by Plotkin and Statman is its simplicity and universality. Yet, decidability of lambda deenability for hereditarily nite Henkin models remains an open problem. But if the variable set allowed in terms is also restricted to be nite then our techniques lead to a decision procedure.
منابع مشابه
On Undefined and Meaningless in Lambda Definability
We distinguish between undefined terms as used in lambda definability of partial recursive functions and meaningless terms as used in infinite lambda calculus for the infinitary terms models that generalise the Böhm model. While there are uncountable many known sets of meaningless terms, there are four known sets of undefined terms. Two of these four are sets of meaningless terms. In this paper...
متن کاملA Study of Syntactic and Semantic Artifacts and its Application to Lambda Definability, Strong Normalization, and Weak Normalization in the Presence of State
Church’s lambda-calculus underlies the syntax (i.e., the form) and the semantics (i.e., the meaning) of functional programs. This thesis is dedicated to studying man-made constructs (i.e., artifacts) in the lambda calculus. For example, one puts the expressive power of the lambda calculus to the test in the area of lambda definability. In this area, we present a course-of-value representation b...
متن کاملPreparation and Characterization of PLGA Nanoparticles Containing Plasmid DNA Encoding Human IFN-lambda-1/IL-29
During the 15 years since the discovery of type III human interferons [IFN-λ1(IL-29), IFN-λ2(IL-28A), and IFN-λ3(IL-28B)], numerous biological properties such as anticancer, antiviral, and immunomodulatory activities of this new IFN family have been investigated. Several studies have shown that the encapsulation of pcDNA with PLGA nanoparticles (NPs) protects them against DNase enzyme action an...
متن کاملA Characterisation of Lambda Definability with Sums Via TT-Closure Operators
We give a new characterisation of morphisms that are definable by the interpretation of the simply typed lambda calculus with sums in any bi-Cartesian closed category. The ⊤⊤-closure operator will be used to construct the category in which the collection of definable morphisms at sum types can be characterised as the coproducts of such collections at lower types.
متن کاملPreparation and Characterization of PLGA Nanoparticles Containing Plasmid DNA Encoding Human IFN-lambda-1/IL-29
During the 15 years since the discovery of type III human interferons [IFN-λ1(IL-29), IFN-λ2(IL-28A), and IFN-λ3(IL-28B)], numerous biological properties such as anticancer, antiviral, and immunomodulatory activities of this new IFN family have been investigated. Several studies have shown that the encapsulation of pcDNA with PLGA nanoparticles (NPs) protects them against DNase enzyme action an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993